/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package automatolfa;

/**
 *
 * @author 090665
 *
 * REPRESENTA UM ARCO DO AUTOMATO
 *
 */
public class Transicao {
    private Estado _Destino; // ESTADO (NÓ) DESTINO
    private char _Simbolo; // SIMBOLO DA TRANSIÇÃO

    /**
     * @return the _Destino
     */
    public Estado getDestino() {
        return _Destino;
    }

    /**
     * @param Destino the _Destino to set
     */
    public void setDestino(Estado Destino) {
        this._Destino = Destino;
    }

    /**
     * @return the _Simbolo
     */
    public char getSimbolo() {
        return _Simbolo;
    }

    /**
     * @param Simbolo the _Simbolo to set
     */
    public void setSimbolo(char Simbolo) {
        this._Simbolo = Simbolo;
    }
    
    public Transicao(Estado destino, char simbolo)
    {
        _Destino = destino;
        _Simbolo = simbolo;
    }
}
